Câu ví dụ
- The Baire category theorem: If X is a complete metric space or a locally compact Hausdorff space, then the interior of every union of countably many nowhere dense sets is empty.
Định lý phạm trù Baire: Nếu X là một không gian metric đủ hay là một không gian Hausdorff compact địa phương, thì hội đếm được của các tập không đâu trù mật có phần trong là tập trống.
